Software Engineering Notes - PDFSEARCH.IO - Document Search Engine

Software Engineering Notes
Results: 394

#	Item
101	ACM SIGSOFT Software Engineering Notes Page 1 November 2012 Volume 37 Number 6 Add to Reading List Source URL: www.eecs.qmul.ac.uk Language: English - Date: 2015-04-10 18:09:41 Software engineering Function Java Pathfinder ALGOL 68 Computing Programming language theory Quicken Interchange Format
102	Microsoft Word - angerMemorialAwardFlier.doc Add to Reading List Source URL: www.sigsoft.org Language: English - Date: 2007-01-11 10:55:52 Year of birth missing Software engineer Computing Software Engineering Notes Association for Computing Machinery SIGSOFT Computer science Software engineering
103	Installation Notes for ADINA 8.7 Windows Version I. Minimum System Requirements · · Add to Reading List Source URL: www.adina.com Language: English - Date: 2015-01-30 12:43:26 ADINA X86-64 Fortran Software protection dongle Computing Software engineering Computer programming
104	Publications and notes in chronological order, Mads Tofte Last updated: October 24, 2013 References [1] Mads Tofte. Add to Reading List Source URL: www.itu.dk Language: English - Date: 2013-10-24 09:57:58 Fellows of the Royal Society Functional languages Procedural programming languages Mads Tofte Robin Milner Laboratory for Foundations of Computer Science Robert Harper ML SIGPLAN Software engineering Programming language theory Computing
105	Manuel Hermenegildo Areas of Interest Energy-Aware Computing, Resource / non-functional property analysis, verification, and control; Global Program Analysis, Optimization, Verification, Debugging; Abstract Interpretatio Add to Reading List Source URL: www.clip.dia.fi.upm.es Language: English - Date: 2014-07-12 00:42:10 Programming paradigms Formal sciences Association for Computing Machinery Principles of Programming Languages Formal methods International Conference on Logic Programming Logic programming International Symposium on Logic-based Program Synthesis and Transformation Lecture Notes in Computer Science Computer science Computing Software engineering
106	Usable Privacy and Security Trust and semantic attacks II Lecture and notes written by Ponnurangam K Lecture notes, Discussion and Activity February 23, 2006 Add to Reading List Source URL: cups.cs.cmu.edu Language: English - Date: 2006-02-28 21:37:15 Phishing Internet Netcraft Computer network security Anti-Phishing Working Group Password Crime Computing Anti-phishing software Spamming Social engineering Computer crimes
107	Microsoft Word - notes.doc Add to Reading List Source URL: teachmetheweb.org Language: English - Date: 2008-09-23 14:35:39 Boolean algebra Expr C++ FALSE Relational operator Boolean data type Conditional Iostream JavaScript syntax Computing Software engineering Computer programming
108	VoiceObjects 9 Release Notes 9.1 VoiceObjects 9 Add to Reading List Source URL: developers.voiceobjects.com Language: English - Date: 2010-03-02 11:43:53 Cross-platform software Software Computer programming Java Software engineering Computing Voxeo VoiceObjects
109	Typed λ-calculus: course notes P. B. Levy University of Birmingham 1 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2015-04-11 03:52:53 Type theory Formal methods Theoretical computer science Procedural programming languages Proof theory Lambda calculus Type system Standard ML Curry–Howard correspondence Software engineering Programming language theory Mathematics
110	CS109A Notes for LectureType Shorthands type ILL = int list list; type ILL = int list list Add to Reading List Source URL: infolab.stanford.edu Language: English - Date: 2008-09-19 01:01:30 Computer programming Type theory Algebraic data type C++ classes Enumerated type ALGOL 68 Constructor Union Kind Software engineering Computing Data types

UPDATE